<html>
<body>
<p>报告 <a href="https://www.python.org/dev/peps/pep-0695/">PEP 695</a> 类型形参语法的无效用法
<p>
  在函数和类定义以及新样式类型别名语句中查找以下问题：
<ul>
  <li>在新样式泛型类中扩展 typing.Generic</li>
  <li>在新样式泛型类中扩展形参化的 typing.Protocol</li>
  <li>对 ParamSpec 和 TypeVarTuple 使用具有类型形参的泛型上限和约束</li>
  <li>混合传统和新样式类型变量</li>
  <li>在新样式类型别名中使用传统类型变量</li>
</ul>

<p>
  示例：
</p>
<pre><code>
  from typing import Generic

  class Example[T](Generic[T]): ... # 具有类型形参列表的类不应扩展 'Generic'
</code></pre>

<pre><code>
  class Example[T: (list[S], str)]: ... # 在类型形参的约束和边界内不允许使用泛型类型
</code></pre>

<pre><code>
  from typing import TypeVar

  K = TypeVar("K")

  class ClassC[V]:
      def method2[M](self, a: M, b: K) -> M | K: ... # 不允许混合使用传统和新样式 TypeVars
</code></pre>
</body>
</html>